#include <stdio.h>
#define LOCAL
int main()
{
#ifdef LOCAL
    freopen("input.txt", "r", stdin);
    freopen("output.txt", "w", stdout);
#endif
    int a, b, c,count=1;
    char s[] = "Case %d: %.0f\n";
    while (scanf("%d%d%d", &a, &b, &c) != 0 && a * b * c)
    {
        s[11] = c + '0';
        printf(s, count++,(double)a / b);
    }
    return 0;
}